java -cp ".;.\bin;.\lib\*" benchmark.BenchmarkRunner
java -cp ".;.\bin;.\lib\*" cruncher.NaiveCruncher [MPSFilename] [TimeSeconds]
java -cp ".;.\bin;.\lib\*" cruncher.ImprovedCruncher models\izunit.mps 7200